18 November 2015, Algebra|Coalgebra Seminar, Sebastian Enqvist

Enqvist: I present some recent joint work with Fatemeh Seifan and Yde Venema, in which we introduced monadic second-order logic interpreted on coalgebras. Our main results provided conditions under which the coalgebraic modal mu-calculus for a given functor is the bisimulation invariant fragment of the corresponding MSO language. The focus of the talk will be on some open problems related to this topic.

For more information, see http://www.illc.uva.nl/alg-coalg or contact Frederik Lauridsen (f.m.lauridsen at uva.nl) or Julia Ilin (ilin.juli at gmail.com).